differences between DFA and NFA